Inter-deriving semantic artifacts for object-oriented programming
نویسندگان
چکیده
منابع مشابه
Inter-deriving Semantic Artifacts for Object-Oriented Programming
We present a new abstract machine for Abadi and Cardelli’s untyped calculus of objects. What is special about this semantic artifact (i.e., man-made construct) is that is mechanically corresponds to both the reduction semantics (i.e., small-step operational semantics) and the natural semantics (i.e., big-step operational semantics) specified in Abadi and Cardelli’s monograph. This abstract mach...
متن کاملSemantic Object-Oriented Programming (SOOP)
Currently, the interaction between ontologies and general purpose programming languages mostly consists of an indirect mapping between the ontology and the programming language. The language and libraries are often basically used as a programmable ontology editor. In this paper we present a different approach that creates an ontology from regular data objects in a (statically typed) mainstream ...
متن کاملIntegrating Semantic Web and Object-Oriented Programming for Cooperative Design
Object-oriented programming (OOP) is a mainstream paradigm for engineering design software tool development. An emerging requirement is the introduction of semantics to achieve heterogeneous information sharing, but many challenges exist. Examples include using object methods to manipulate an RDF data, automatically converting data into RDF format, and supporting various programming languages. ...
متن کاملObject-oriented Reactive Programming is Not Reactive Object-oriented Programming
According to chapter 3 of Abelson & Sussman [1], there are two fundamentally different ways to organise large systems: according to the objects that live in the system, or according to the streams of values that flow through the system. Even though the notions of “object” and “stream” have meanwhile taken many incarnations, the dichotomy still exists in modern programming languages. Marrying re...
متن کاملDeriving Object-Oriented Frameworks from Domain Knowledge
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is assumed that finding the correct abstractions is very hard, and therefore a successful framework can only be developed through a number of iterative (software) development efforts. Accordingly, existing framework devel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2010
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2009.10.004